$\forall$$x$,$y$:$\mathbb{N}$. decidable(($x$ = $y$))